failure 31:

Requirement failed: {fdim.08.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat( model_res ) == true` means that ERANGE SHALL be set

location
trace	/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/math_real_fdim_overflow_scenario.utz (math_real_fdim_overflow_scenario.utt), line 102
occurence
scenario	math_real_fdim_overflow_scenario
specification function	fdim_spec()
parameter value	CallContext context = [pid=2835,thr=b73af6c0]
parameter value	Unifloat * @x = (double) 1.7976931348623157e+308 (0x.FFFFFFFFFFFFF800P1024)
parameter value	Unifloat * x = (double) 1.7976931348623157e+308 (0x.FFFFFFFFFFFFF800P1024)
parameter value	Unifloat * @y = (double) -1.7976931348623157e+308 (-0x.FFFFFFFFFFFFF800P1024)
parameter value	Unifloat * y = (double) -1.7976931348623157e+308 (-0x.FFFFFFFFFFFFF800P1024)
parameter value	ErrorCode * @errno = EOK
parameter value	ErrorCode * errno = EOK
return value	(Unifloat *) (double) Infinity
coverage & branch	C x and y - finite values
properties
REQ failed	fdim.08.01.01
expected value	(double) nan (0x.FFFFFFFFFFFFF800P1025)
kind	POSTCONDITION_FAILED

similar known bug(s)
The fdim(x, y) family of functions shall determine the positive difference between their arguments. According to LSB, if the result overflows then fdim() shall fail and shall set ERANGE error code. But on the target machine, the functions set error code EOK instead of ERANGE when overflow occurs.